acm sigbed
|
emsoft
|
participants
Antonio Anastasio Bruto da Costa
EMSOFT 2018: 18th International Conference on Embedded Software
Formal Feature Interpretation of Hybrid Systems
Antonio Anastasio Bruto da Costa
,
Goran Frehse
, and
Pallab Dasgupta
10.1109/TCAD.2018.2857361
https://arxiv.org/pdf/1711.00669.pdf